home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text.html;
-
- import java.awt.Shape;
- import javax.swing.event.DocumentEvent;
- import javax.swing.text.AttributeSet;
- import javax.swing.text.Element;
- import javax.swing.text.TableView;
- import javax.swing.text.View;
- import javax.swing.text.ViewFactory;
-
- class TableView$RowView extends TableView.TableRow {
- // $FF: synthetic field
- private final javax.swing.text.html.TableView this$0;
- private AttributeSet attr;
-
- public TableView$RowView(javax.swing.text.html.TableView var1, Element var2) {
- super(var1, var2);
- this.this$0 = var1;
- StyleSheet var3 = this.getStyleSheet();
- this.attr = var3.getViewAttributes(this);
- }
-
- public void changedUpdate(DocumentEvent var1, Shape var2, ViewFactory var3) {
- super.changedUpdate(var1, var2, this.this$0.createViewFactory(var3));
- int var4 = var1.getOffset();
- if (var4 <= ((View)this).getStartOffset() && var4 + var1.getLength() >= ((View)this).getEndOffset()) {
- this.attr = this.getStyleSheet().getViewAttributes(this);
- }
-
- }
-
- public AttributeSet getAttributes() {
- return this.attr;
- }
-
- protected StyleSheet getStyleSheet() {
- HTMLDocument var1 = (HTMLDocument)((View)this).getDocument();
- return var1.getStyleSheet();
- }
- }
-